<ul>
	<li><?php echo link_to('Main Page', '@wiki_show?pr_slug='.$wikiPage->getPRSlug().'&name=Main_Page') ?></li>
</ul>
<hr>
<ul>
	<li><?php echo link_to('View', '@wiki_show?pr_slug='.$wikiPage->getPRSlug().'&name='.$wikiPage->getName()) ?></li>
	<li><?php echo link_to('Edit', '@wiki_edit?pr_slug='.$wikiPage->getPRSlug().'&name='.$wikiPage->getName()) ?></li>
	<li><?php echo link_to('History', '@wiki_show_revs?pr_slug='.$wikiPage->getPRSlug().'&name='.$wikiPage->getName()) ?></li>
</ul>